<?php
print ($a);